From: Florian Müllner Date: Fri, 11 Dec 2020 00:36:09 +0000 (+0100) Subject: ci: Only fetch history for branch tips X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~616^2^2~684 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=ca0ad6d94bf5b26185b24fd80a79b0ab742ac886;p=gnome-shell.git ci: Only fetch history for branch tips We don't need any history, so we can save a bit of bandwidth by omitting it, and only fetch the refs we are actually interested in. Part-of: --- diff --git a/.gitlab-ci/checkout-mutter.sh b/.gitlab-ci/checkout-mutter.sh index 37655c48f..999f09061 100755 --- a/.gitlab-ci/checkout-mutter.sh +++ b/.gitlab-ci/checkout-mutter.sh @@ -4,13 +4,13 @@ fetch() { local remote=$1 local ref=$2 - git fetch --quiet $remote $ref 2>/dev/null + git fetch --quiet --depth=1 $remote $ref 2>/dev/null } mutter_target= echo -n Cloning into mutter ... -if git clone --quiet https://gitlab.gnome.org/GNOME/mutter.git; then +if git clone --quiet --depth=1 https://gitlab.gnome.org/GNOME/mutter.git; then echo \ done else echo \ failed @@ -29,8 +29,14 @@ if [ "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" ]; then mutter_target=FETCH_HEAD else echo \ not found - mutter_target=origin/$CI_MERGE_REQUEST_TARGET_BRANCH_NAME - echo Using $mutter_target instead + + echo -n Looking for $CI_MERGE_REQUEST_TARGET_BRANCH_NAME instead ... + if fetch origin $CI_MERGE_REQUEST_TARGET_BRANCH_NAME; then + echo \ found + mutter_target=FETCH_HEAD + else + echo \ not found + fi fi fi